Security Properties - PDFSEARCH.IO - Document Search Engine

Security Properties
Results: 169

#	Item
41	Verifying Security Properties in Electronic Voting Machines by Naveen K. Sastry B.S. (Cornell University) 2000 Add to Reading List Source URL: naveen.ksastry.com Language: English - Date: 2013-06-08 15:25:54 Voter-verified paper audit trail Cryptography Voting machine Science Technology Sociology Electronic voting Election fraud Information society
42	Abstract of “Static Analyses of Cryptographic Protocols” by Jay McCarthy, Ph.D., Brown University, May 2009 Most protocol analyses only address security properties. However, other properties are important and can inc Add to Reading List Source URL: jeapostrophe.github.io - Date: 2015-05-11 20:44:55
43	Semantic Comparison of Security Policies: From Access Control Policies to Flow Properties Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2012-06-05 18:18:54
44	MECA: an Extensible, Expressive System and Language for Statically Checking Security Properties Junfeng Yang, Ted Kremenek, Yichen Xie and Dawson Engler Computer Systems Laboratory Stanford University Stanford, CA 94305, Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2004-08-13 01:23:18
45	Understanding the Security Properties of Ballot-Based Verification Techniques Eric Rescorla Add to Reading List Source URL: www.usenix.org Language: English - Date: 2009-08-12 15:36:39
46	Case Study VPS helps Tesco protect vacant properties awaiting planning approval VPS security solutions protect Tesco property asset and local community Add to Reading List Source URL: www.vpspecialists.co.uk Language: English - Date: 2012-02-15 05:45:03 United Kingdom Tesco Vandalism Economy of the United Kingdom
47	Value of Properties in the National Flood Insurance Program Add to Reading List Source URL: www.cbo.gov Language: English - Date: 2014-09-26 09:15:09 Insurance law National Flood Insurance Program United States Department of Homeland Security Financial economics Flood insurance Institutional investors Physical geography Insurance Floodplain Types of insurance Water Insurance in the United States
48	Remote Attestation to Dynamic System Properties: Towards Providing Complete System Integrity Evidence ∗ † Chongkyung Kil§, Emre C. Sezer§, Ahmed M. Azab§, Peng Ning§, Xiaolan Zhang†† †† § Add to Reading List Source URL: discovery.csc.ncsu.edu Language: English - Date: 2011-11-09 13:26:05 Ethics Cryptography Business law Copyright law Trusted Platform Module Integrity Data integrity Kernel SPARK Computing Computer security Trusted computing
49	National Commercial Law Seminar Series 18 March 2014 Personal Properties Securities ActCth): Objectives and Emerging issues Jennifer Davies 1 Introduction The Personal Properties Securities ActCth) (“PPSA Add to Reading List Source URL: law.monash.edu Language: English - Date: 2014-03-19 18:56:00 Business law Bank of Montreal Bank of Montreal v. Innovation Credit Union Bankruptcy Property law Finance Security interest Personal Property Securities Register Security Law Business Private law
50	EU FP7 \| OPEC \| D5.1 \| Current status of routine monitoring of ecosystem properties in European regional seas\| December 2013 OPerational ECology Ecosystem forecast products to enhance marine GMES applications Add to Reading List Source URL: marine-opec.eu Language: English - Date: 2015-03-30 11:54:20 Water Aquatic ecology Systems ecology European Space Agency Global Monitoring for Environment and Security Space policy of the European Union Continuous Plankton Recorder Ecosystem HELCOM Oceanography Planktology Biology